Fixed issues in the documentation coverage test