Fix comments in example 1 solutions