unfortunate appendix to #52 , fixing a syntax-error

see last comment on #52