re #5: fix indentation