Fix synthesis errors