small fix to earlier commit