cons and symbol fixes