bugfix GATKDOC