Contribs: forgotten file in previous commit (3.1.16)