Added end-of-file marking to conventions