Typo in coraldoc.sty