Document fix for #80