Some typo and formatting fixes in tips lecture

Merged Martijn Vermaat requested to merge tips_fixes into master

Merge request reports