Minor changes

They were created in d2e0e499e79bfebdea1b1162ae7ee5087f9da98b