Hack to enable prettyPrint