Fix previous commit… maybe this was not useless after all