Some sleight corrections to the SymPy lab.