minor precisions