removing spurious line, identified by code-review