Added precision in documentation