 (This is after https://github.com/pyvec/python.cz/pull/280.)
(This is after #280.)