Fixed server examples for recent module rename.