Fixing targeted invariant. Adding a more detailed readme