Small bug fix in the console