Add missing case in the pretty printer

This solves #538