Minor fix to our file manager [ci skip].