fix appearance of comments with <code> tags