Ridiculously small bugfix