Add file I forgot

Fixes #1238.