Fix some issues in the XBoard man page