tiny fix for bug 52