changed permissions on NumDisks.h