#780: minor correction