Example of Linux kill command not working according to documentation