Fixing a really stupid bug, sorry