fixed build errors

the signature S had to be updated in the .ml file too.