a low-priority todo item we should do sometime