Is this line really too long? I think they might be precisely 80 characters ...