fix wrong post condition
minor