Fixed small error while editing document through GitHub interface.