Fixing a small error induced by debugging.