(fix all old license headers btw, not only the one I pointed to specifically).