minor fix in docs code