Small improvement in sharedfs.py