Feature #2858: fix syntax bug