minor for issue #137