A fix towards the double help message