added a bit more documentation about another bugfind, happily not mine