Fixup a typo that resulted in a wrong mode of execution.