A little syntax fix