Double-cast is unnecessary.