i agree, i was hesitating if i should fix it or not. but on the other
hand its also surprising (=confusing) and annoying when things are named
inconsistently.