Bump to version 0.13
Better comments for new Debug functions