stupid bug in the visitor class