bug fix for synthesis errors