fix minor bug in the documentation that pointed the user to the wrong program for configuration