Fix #443

Looks like these functions were removed by
d87967ed4001d8f222c24827b43b31240795be4c and not tested so nothing caught it
:-(