minor fix for last commit