minor bugfix syntax