Fix typesetting on RPN problem