Fixed weird character in documentation