Minor Changes

I did these a month or two ago and forgot to commit them.