Removing Litmus references