fix a couple of nits from @njx's review