Small syntax fix due to the last merge