Revert accidental push of unneeded stuff in the last commit