exceedingly minor bug fix