Another syntax fix