Minor fix to the previous commit, so it actually does what it claims.