[#1559] Minor change (analysis).