Delete extraneous  text; fixes #12