minor text modifs
ˆ