bugfixes stemming from formatting updates