Tiny syntax fix