#1: another minor language change