Fix basic.t