Fixing what auto format messed up