update to be consistent with fixing of issue #1