minor change: removed a comment