One last fix for bug #33.