This is an artifact left by rustfmt which is not dare to remove the
comma being conservative.