Fixed a bug introduced in f177cdc61c150732d978887992e54c1fb1792661