another bug, now fixed