Specs for DefaultFormatter