A few minor bug fixes; typos and whatnot.
Temporarily pulling in the interactive tests from the old repos.