Documentation v15 help: Error in @TUPPER topic