#77: Another, minor language change