Fixing small documentation bash syntax error