Standard Eiffel style requires a full stop to terminate header comments for commands.
Do you have a different style requirement for EWF?