Corrected small bug in our implementation of filemanager.