Addressing synfinatic comments