The attached patch fixes a typo in the documentation. I hope I got the format of the commit message right. Best regards, Jan