fixed bug in prettifier