I thought empty parentheses was a syntax error in Eiffel. In any case, it is bad style.
And we need a header comment.