fixed a couple things I forgot when removing a library