Fixed broken file menu as a result of the git merge from yesterday