Make toDisk() public