Changed language spec: removed ::