A little last style update in cookie.h