Fix to nfsv4 code