Cleaned up documentation a bit - it's true now...