update for v0.13
clean-up debugging information