<script>
plugins()
-document.getElementById("plugins-floppy").classList.add("highlighted")
-document.getElementById("plugins-memory").classList.add("highlighted")
+document.getElementById("plugin-floppy").classList.add("highlighted")
+document.getElementById("plugin-memory").classList.add("highlighted")
</script>