Removed comment now that the mistery has been solved