--- machine_dec.c.orig	2020-04-19 01:06:37.987608018 +0200
+++ machine_dec.c	2020-04-19 00:59:04.266861881 +0200
@@ -44,12 +44,12 @@
 {
     mp_arg_check_num(n_args, n_kw, 2, 3, true);
     int unit = mp_obj_get_int(args[0]);
-    gpio_num_t pin_a = machine_pin_get_gpio(args[1]);
+    gpio_num_t pin_a = machine_pin_get_id(args[1]);
     gpio_num_t pin_b = PCNT_PIN_NOT_USED;
-    if (n_args == 3) pin_b = machine_pin_get_gpio(args[2]);
+    if (n_args == 3) pin_b = machine_pin_get_id(args[2]);
 
     if (unit < 0 || unit > PCNT_UNIT_MAX)
-        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "Bad timer number %d", unit));
+        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, MP_ERROR_TEXT("Bad timer number %d"), unit));
 
     // create dec object for the given unit
     esp32_dec_obj_t *self = m_new_obj(esp32_dec_obj_t);