Fix comma..

Fixes mistake introduced in #538.