correcting symbol invocations, enhanced debugging