Fixes #4. Spec re-read and book readd after push