Some documentation and frontend fixes