fixed possible double ignore warning
avoid possible duplicate with --devel
tagged 4.0.5