minor fixes. Currently, there are some false negatives for loops, but
that can be fixed in gravy