Fix an hang

Suggested by Ronald de Man