PR #141: minor review change