Fixed synthesis errors