minor fix in for PR#643