Removed redundant code.  (Noticed by @lamblin.)