In \cite[ Proposition, pp. 883--884]{kob} a procedure 
is given to find the Galois group of an irreducible 
quintic polynomial $\in \mathbb{Z}[x]$.  It is shown 
that this procedure does not always find the Galois group.