This cast looks odd, although probably harmless in this context.