Mistaken \ref{}