Very minor bug fix