Miscellaneous loose ends