Doc fixes, and added problem 1.3