This is defined but not used, it looks like.