make the docs and examples correct (for now)