By the way avoid making whitespace-only or other formatting changes in the course of a pull request, as it makes the diff harder to review.