Fix a couple of bugs

* I wonder how I'm going to print the result...