Fix error message for unsupported symbol option