#1732: removed