Minor Changes

I didn't change anything since previous commit but apparently there are
these few uncommitted changes...