remove extra comma (added by f8edde7)

Reported by @thomasf in #57.