small bugfix in model.format_spec