Possible fix for bug in #77