This can be merged with the previous line (see line 425).