Pretty printing works now