Small style change in catalua.cpp