// follow up #1907