Fixed up the 0.13 files