made toga_main prettier...