further documentation formatting