remove an unneeded line, add a (micro-)optimization