Add a bit of documentation (and remove an unneeded include)

Authored by leinir on Feb 28 2020, 12:49 PM.