Fix type in example hello module