Removed an old, superfluous comment.