Correction for @mhoeber 's query