Small bugfix, nothing really important or visible