F random minor improvements
Some random minor improvements, i.e. error messages, a little bit of docs and some code cleanup. I'm sorry that this is a weird mixture, but it did not fit into other current MRs.
Some random minor improvements, i.e. error messages, a little bit of docs and some code cleanup. I'm sorry that this is a weird mixture, but it did not fit into other current MRs.