another minor change (deleted a comment)