Small bug fix, for real this time.