Forgot to remove some lines in commit 5eeb88c.

Not fully awake yet!