debugging the untested code I just pushed