re #7358 correctly mark parameter direction