Writing good documentation that is up-to-date is difficult. If you notice a mistake, help us out.