Very minor bugfix