yet another semantic fix