cf. point above about it being desirable to have a `max_maxk` I think...