Some cleanup of the frontend doc