fixing some stuff in documentation