Oops, sorry—last night before going to bed, I posted a small update, and it looks like I posted it incorrectly. It's fixed now.
