Fixing an error introduced by the reindentation