diff --git a/README.md b/README.md index 91696caa9866871ffc00eeb23cb1bb9539b1ccbb..b051ac6dc34754ae708fb75dcff7b24356af732e 100644 --- a/README.md +++ b/README.md @@ -201,7 +201,7 @@ gepetto-gui offers the possibility to develop plugins in python. To do so, you m It very often happens that the OmniNames server failed to start properly at boot. -To check is the server is running, run: +To check if the server is running, run: ```bash ps -C omniNames -o pid,args ```