fix some minor issues introduced yesterday