Update comments in MMapInterface.v