Fix documents.js (no documents were displayed).