Fix compilation

Fix syntax error introduced in commit
90a74090250fdfd9bdd1b4aaf2acec493a893c66.