clean up example in docs. #1854