Revert "Empty file"

This reverts commit c3f7c09020e5c0ddf08dba6057564ede9052371c.