[4936] Void option bug.