minor corrections to problem description