minor fixes

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