style updates for #35