A little documentation update