Fixed minor glitches in library.html and monitor.html