Workaround for prettify bug