tiny fix for the last commit