(frontend) Oups, I forgot to commit a line in cb8a576b3