Modified a comment. It was not fixed...