Update instantiation example in documentation.