Fix a bug in disknode.pp