[bug] A file left out in previous commit