minor edit. removed a comment