Minor change

I haven't been maintaining this (sorry!), I've been working on other
things (also file system related).