fixes for widenAsNeeded