Fix "Pretty printing works" test