Fixed more documented examples, #554