Fix if3
Doc addition