More incredibly minor changes

oops!