Fix bug

Fix bug -- file missing