Some tiny little things added. Also updated the library