Is this indentation correct?