Ah, sure, no problem. Should I make another commit that fixes it? Or can it be changed when merged, if it will be merged?