Corrected bugs that were breaking N3 library