This could be a ``def``, but it's a minor thing...