Remove some things that were added accidentally in the last commit