minor fix to last commit