optimize-bug: fix bug mk_or

This was a copypasta bug identified in the http branch (commit
0aeff4a39ee) but the fix was engangled with a bunch of other changes.