Fixing a few bugs with bible formatter