Makes a small post-final documentation update