update for 0.13.0 release naming change