minor fixes for dub

Gets rid of a warning, and fixes my broken tabbing.

Literally no code changes.