removed a line duplicated during previous merge (thanks to skogler)