Nice drive-by catch, will add a correctness commit.