Update redefinition with 0.3.5.1 release