Use @code instead of <tt>