Fix bad indentation (thanks @jerith)