Slight cleanup.

Also, pretty sure we can use < instead of <= here.