minor language tweak for #38