Minor changes. I'm too lazy to write more