Errant comma restored.