Example tweaks for #19. Works now with setup(), but not without.