Small fixes for frontend part of webcert