Ooops, forgot to git add those

Fixes #826