fix help printer (hack)