Fixed documentation for configure option