Minor temporary bugfix