Fix synthesis error