stupid bug: the wrong constructor was selected in some cases (fixed now)