Sanitize the problem name

This supersede issue #22.