Quick fix for bug #16