Remove "double"-entry from user documentation of API