Further updates to problem docs