another syntax fix