And thanks for catching that; it's always nice to fix up stale docs...