fixes and docs I did not manage to push last night