Fix Columbus bug #119.