#728 - minor correction