@philix this is not the end of the file:-) I think @watk wanted to say "unnecessary empty line".