Bootstrap: fixed parsing of “def /“