Remove obsolete members after 0.13 release