fix synthesis error