Another useless commit to artificially inflate my GitHub stats.

Actually, I just forgot to add something.