Oops, didn't delete enough stale doc. Fixing.