Some fixes to problem statements and discussion