This is redundant with other documentation. Could you remove it?