small changes

this doesn't warrant a commit by any means, but oh well