(#802) correcting indentation