note tweak on promised-syn