Minor fix for correct GitHub rendering