Document workaround for #1