Fixed basic-prelude bound