Fix formatting changes done by Eclipse.