[Fix #574] Correct the pretty print menu entry