fix for right hand function declaration, for prototypical extension