hotfix for issue #209

CC @jsha for review ASAP.