Minor improvement to our File class.