Typo in synthesis explanation