dec: bugfix