BUGFIX: fix syntax broken in previous commit