[minor] code cleanup, add last missing Theodocians