Minor tweaks to FileManager.h