modified: error of type declaration