Fix a bug in scope