Fix indentation messed up by Eclipse