Fix issue #447.