Fix two more SIZE_T_CEILING issues