// follow up #2167