Fixed mistake introduced in last commit...