Remove mistake introduced in previous commit

f351ec726edeebf4b6d79984042fe588743d132d