one-char change to suppress a -pedantic warning about a superfluous ';'