Update mas_core.ml

Fix documentation