Clean champlainmm.h