Fixed bug with arguments in paramification. Bump.