Fix blunder introduced in last commit