Fixed mistake in GLFW3 port + tiny cleanup