fix observation_to_source throws error if the observation is already proved; fix typo that "training" part has doc saying "k=3, l=3" while command line seems to be "k=5, l=5" - #15