Is the indentation intended here?