Issue #72: oops missed a spot