Small documentation bug in configure script.