Update examples for module syntax