if you accept the idea of including this function, it should also be implemented in dummy; but I didn't want to raise conflicts with edwin's changes.