Added docu for possible bug-resolution.

Added suggestion for possible solution to the bug documented in 1e0d2cfac3868d99012f060708d9305aa91d4333. This will require wide-ranging refactoring though.