Fix issue #127.