fix stallman fact help text