fixme in code for Bug #9, but not fixed