A puny bug fix