Re: Build error in users guide in HEAD of today