Fixed bug .src that changed because of typechecker change in how it prints qualified types