minor bug fix in debugging out at line 600