Minor improvements to active-types