Removing something that was accidentally commited in 6d2343d38a60db85a0037c28fdfbccf10d45b4ec