Correct documentation, especially on high-level database interfaces