[PATCH v2] Fix mutex pretty printer test and pretty printer output

[Siddhesh Poyarekar]

Please post the patch with a different and relevant subject line. This is probably the third patch posted in the same conversation and it is hard to keep track this way.

Siddhesh