tiny improvements of code format