correct Seaside3 symbolic version