Moved comment slightly.