Some reformatting. One day I'll understand Eclipse formatters...