tiny changes

Was briefly browsing the code and this caught my eye.