minor tweaks to ProjectOption usage