Is there something weird going on with the indentation here and below?