Remove superfluous comma

Fixes compilation error introduced in last commit.