Pdb token colon

This commit fixes #715