On the Witten vertex