updated docs, fixed a bug in problem manager