Minor changes to fit new GitHub styling [ci skip]