Removed spurious space in comment.