fixed extremely subtle bug in prettyRender.coffee