debugging a small error