documentation (no longer true)