Final commits for @hplgit