#12277: add missing comma.
1 file changed