It looks like it has already been merged, or did I miss something?