- fix syntax (see bug #3218)