Fixes #15 : ugly indentation