Update mandos.md