Fix GitHub pages deployment which is not working at the moment. 
