Fix some small bugs and update testing instructions.