some bits of documentation