Code tags are usually converted to inline code macros. Those eat the final new line character in their content. An extra one is needed.
