Bug fixes in specification. The Regular_triangulation_3 template, does require that its template parameter Gt has a nested type Gt::Bare_point.