diff --git a/en_US.ISO8859-1/articles/problem-reports/article.xml b/en_US.ISO8859-1/articles/problem-reports/article.xml index 9672e0ad3e..f7e4b77c5f 100644 --- a/en_US.ISO8859-1/articles/problem-reports/article.xml +++ b/en_US.ISO8859-1/articles/problem-reports/article.xml @@ -698,7 +698,7 @@ If you have found a problem in the documentation set (articles, books, man pages) or website the - correct choice isdocs. + correct choice is docs. if you are having a problem with something from