make sure that make lint isn't angry with any of the changes to these two files. There's a few existing complains it has, but any new ones from these edits should be gardened.