Little update

Some mini-fixes, nothing  new in general