Some minor improvement to our file manager [ci skip].