Minor but boring bug is fixed