Name changing in the v0.12 potebooks