Fixed some styling that was messed up by last commit