Added some implementation details.