added winbugs stuff