Fix bug in Issue #303.