fixed joachims small compile error