bug partly fixed for #44