Fixed a bug of the PostgreSQL docset (missing entries)