Fix a minor bug (calling shell function via exec)