Removing Magus since it looks bad on GitHub