Fix copyright symbol in documentation