for git issue #193