Random fixes

Just small fixes I found while looking at the source code.

No change should alter behavior here.
Why should `core.py` have defaults about the widget size? Feels like it belongs in `gui.py`