Fix redeclaration of deg