This file can be deleted too.