!fixup Corrected a misunderstanding in the last commit.