Typing up loose ends