Removes unnecessary delete statement in Pool (fixes #563)