rename properly

untested commits while commuting are rarely correct, no matter how trivial