minor changes; git is being weird

sorry for brief changelog, I need to fix git