another small change, made on github