minor fixes

minor fixes to improve the overall quality of the SymPy lab.