Some minor fix to Violate and added another Library setting