Fix compilation

Fix syntax error introduced in commit 90a74090250fdfd9bdd1b4aaf2acec493a893c66.