Minor edits, and one fix to tests.sage