Exception specifier; Documentation update