(#2405) - minor correction