Minor nitpicks