fixing synthesis errors