The tiniest PR you've ever seen.

Is it okay to bother you guys trivialities like this? Please feel free to whip me in full public view if I did wrong :fearful: