Minor, silly bugfix