minor fix: unneeded