storm-example: we don't need a copyright notice here.