Fix for long numbers in line numbers column (up to 5 digits which should be enough).