A couple of corrections in the header