file missing to commit

Authored by cgilles on Jan 4 2017, 1:23 PM.