Fix incorrect dectobin function