*
* Arguments: @uint32 x, y@ = two 32-bit unsigned integers
*
- * Returns: One if %$x \le y$% are equal, zero if @x@ is greater.
+ * Returns: One if %$x \le y$%, zero if @x@ is greater.
*
* Use: Answers whether two integers are ordered, in constant time.
*/