Fixed a bug that prevented operating systems from correctly showing