--- ./block/atindex.cc.orig	2013-06-23 20:13:49.000000000 +0200
+++ ./block/atindex.cc	2013-11-27 18:55:51.000000000 +0100
@@ -6,7 +6,7 @@
     d_atDollar.push_back(
         AtDollar(
             AtDollar::AT, length(), lineNr, 
-            text, stol(text.substr(1)), false
+            text, A2x(text.substr(1)), false
         )
     );
     append(text);