No problem. This specific logic is just used here, but we should not always redirect back to the CAS server (it depends if the ```RelayState``` parameter exists).
I assume it's not necessary. This could be updated later on.