minor documentary changes