Fixes up a couple of copy-and-paste errors that crept into the code