comments have been fixed [4].