minor fix (rev.2270)