comments have been fixed [7].