Corrected use of GR; added unconfigure to headers.