Documentation of exceptions in MCS