made slight tweaks for formatting