I can't quite remember what provoked these two changes, but they are in my
tree.  
	One improves boxy_match (which failed unnecessarily)
	One fixes boxy_lub (which was assymetrical)