Title: Devaluation in a small economy with flexible and rigid, real and nominal, prices