Re-add missing blank line in prioritize()