Shouldn't the default value go in the def?