Looks good (despite my trivial question below).