Potential bug fixes detected by SVACE