Hi *,

on Sun Oct 25 Stefan added a big bunch of `when' args to various
function calls in the semantic code.  This included the following
change: