fix small bug in release target