Removed pretty print as it messes up in internet explorer (grrrr)