removing line that is superfluous due to 1358db40ffb43581d1f0e2f33433328d05b8ad54