minor changes to fix formatting