Doc and shell script fixes