Small fixes, adjustments, docus