Synthesis errors fixed