tweaks for PR#251