This should also have ``type=int``.