Fix a wrong syntax. Sorry.