minor change to check fix #4 (we shouldnt see #1)