Fix bug in boolean decoder