just some style changes in the core library