Minor but important documentation update.