For a BSDlabel restore we should do
bsdlabel -R 'disk' 'bsdlabel-file', so reflect that in the instructions (because I tripped over this).