This part was fixed in #828, along with another documentation misconfig.