This doesn't seem to get used below.