docs; make the code runnable

#1909