Undo bad fix.   Joao did a correct fix.