STARK: Fix a syntax error on clang