Fix issue #249.