Undoing last commit

It was a bad idea. Maybe I’ll play with it later.