A few small fixes for licenses and CSS