Fix missing comma introduced in commit 12522