Some more doc definitions.