Another silly bugfix