Fix bug provoked by code auto-reformat