Bug in symmetric properties