One issue left: <table> output within an <informaltable>, that does not make sense... I'm debugging it.