Removed line break after verbatim environment when the latter appears at the end of an example environment