Trying to fix #644
Oops, forgot file