Updates from HEAD.