re #10: fix indentation