Moved the pseudocode to fix bad boxes.

Needs a float.