Fix tiny formatting error