Fixes for diskdef.txt