Fix indentation as suggested by Fotis