Fix issue #333.