fix up manual after 1baf0382dc80