Silence compiler warning: unused argument tags