Added some implementation detail