Test demonstrating issue with pretty formatter