Fix gcc -Wpedantic.