Yet another bug concerning info_box