fix mistake in documentation of core module