bug fix in how to