searched far and wide for a bug, and actually found it