Refix my misreading of the diff

sorry @robin850.
Thanks @fxn