Fix s390 proposal