Fixed some formatting that Eclipse messes up