A minimal change. Seems to work