added doc element as a member and a corresponding getter