Fixed compilation bug in manifold.cc