Fix silly mistake in docs generation