Fixed a bug

Long story, not worth telling...