Comment out prettify temporarily, to reduce bugs.