Now there is a trailing empty line, but that is a minor thing.