Is the indentation here correct?