diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog for the [`clash-ghc`](http://hackage.haskell.org/package/clash-ghc) package
 
+## 0.5.13 *September 8th 2015*
+* Fixes bugs:
+  * Cannot translate GHC `MachLabel` literal
+  * Maybe (Index n) not translatable to VHDL [#75](https://github.com/clash-lang/clash-compiler/issues/75)
+
 ## 0.5.12 *September 7th 2015*
 * New features:
   * Modest compilation time speed-up. Compilation time of the [I2C](https://github.com/clash-lang/clash-compiler/tree/master/examples/i2c) module on my machine went down from 43s to 24s, and maximum memory usage went down from 840 MB to 700 MB.
diff --git a/clash-ghc.cabal b/clash-ghc.cabal
--- a/clash-ghc.cabal
+++ b/clash-ghc.cabal
@@ -1,5 +1,5 @@
 Name:                 clash-ghc
-Version:              0.5.12
+Version:              0.5.13
 Synopsis:             CAES Language for Synchronous Hardware
 Description:
   CλaSH (pronounced ‘clash’) is a functional hardware description language that
@@ -96,7 +96,7 @@
 
                       clash-lib                 >= 0.5.11 && < 0.6,
                       clash-systemverilog       >= 0.5.8,
-                      clash-vhdl                >= 0.5.9,
+                      clash-vhdl                >= 0.5.10,
                       clash-verilog             >= 0.5.8,
                       clash-prelude             >= 0.9.2,
                       ghc-typelits-natnormalise >= 0.3
diff --git a/src-ghc/CLaSH/GHC/GHC2Core.hs b/src-ghc/CLaSH/GHC/GHC2Core.hs
--- a/src-ghc/CLaSH/GHC/GHC2Core.hs
+++ b/src-ghc/CLaSH/GHC/GHC2Core.hs
@@ -317,13 +317,7 @@
       MachFloat r    -> C.RationalLiteral r
       MachDouble r   -> C.RationalLiteral r
       MachNullAddr   -> C.StringLiteral []
-      _              -> error $ concat [ $(curLoc)
-                                       , "Can't convert literal: "
-                                       , showPpr unsafeGlobalDynFlags l
-                                       , " in expression: "
-                                       , showSDoc unsafeGlobalDynFlags
-                                                  (pprCoreExpr coreExpr)
-                                       ]
+      MachLabel fs _ _ -> C.StringLiteral (unpackFS fs)
 
 coreToDataCon :: Bool
               -> DataCon