minor bug found, not fixed yet.