eclipse auto-indentation would disagree :(