[memdisk] Minor, cosmetic touch-ups