Fix bug, restoring inadvertently deleted statement revealed by restarting kernel.