A few implementation details.