Add a few formatting tests