Fix bug with DEC