Wait, we already do, so the casting isn't necessary.