Really fix #442 (forgot to stage a Hunk)