fix another bug related to #895