User manual bug should be fixed now.