Fixing documentation error

Just a small documentation error that I noticed with the default executable.