the GitHub editor did that automatically; I guess it's not a problem