Trivial change, suggested on IRC