Revert "This file is OK"

This reverts commit 4622f14cecad8491ea65ef9362559965ee9b5dad.