Little fixes for style