add small precision in doc