Fixes from actually running the shell scripts