#77: Last, minor language change