Should this be lazy?

I think it's fine this way, but the other fields are lazy.