Forgot to stage some changes in previous commit

(Mercurial habit...)