Small improvements on libraries page (en)