minor nitpicks fixed