Not a ksp plugin

Misc fixes
I know it's only for debugging, but append() would be way more efficient (count the number of temporaries on these 3 lines...).