Quick fix to address issue #456.