stupid bug, now fixed