We do not allow 2 empty lines in a row, Travis will complain. But it doesn't matter. Let's fix it in the future.