The result is not correct- its an artifact of the simulation and your analysis method.

Our standard methods of circuit analysis are a simplification that use "lumped matter". In order to simplify the physics of Maxwell's equations- the true basis of electronics, some boundary conditions are set to simplify analysis. Kirchoff's laws embody these tools but they only work within certain constraints which are usually, but not always, present. KVL for example, states that the voltage drops around any circuit loop is zero. This is actually a simplification of Faraday's law, one of Maxwell equations. Faraday's law states that the line integral around a closed path of the electric field is dB/dt. This is induction. In the lumped matter case (assumed by Kirchoff), we force dB/dt to be zero which is generally a safe assumption (except in cases like transformers), we get that the voltage around any loop is zero but this is a simplification. If you have a dB/dt, you can't use simple KVL type analysis. Basic simulators, including SPICE, use a lumped model. For many situations, the lumped model can't be applied. You have to go back to more fundamental models that take into account the changing field. All EE's learn Maxwell equations but work mostly with lumped models. This is fine unless you're an antenna engineer or a mad inventor stacking transformers ;-)

See the reference below for a more complete treatment of the constraints of the lumped circuit simplification that we use everyday.

Interesting diversion.

(ref Appendix A- Foundations of Analog and Digital Electronics Circuits- Agarwal and Lang).