I was covered by HDHP (family) Jan-Jul 2017; Cobra Aug-Nov 2017; HDHP Dec2017. Do I need to mark the Cobra coverage as Family? Currently it shown as no HDHP Aug-Nov.