Fix commit 5aea309f51dd73f2f3dd5f9df5f01ab82caaf89c (deleted file was still referenced)