Doc fix

Change-Id: Id28f7c6cb3dc28769e9b0695e4d7b1ba11cbd42d
Merge pull request #2 from wikimedia/master

Doc fix