Bug fix in the exec() method.