Fixed issue #4135.