minor tweaks on SOI constraint