Problem statement.  Other minor fixes