Drop accidentally committed trash line

Messed up in commit 46327e51.