Fixing Michael's bugs.

[permalink] [random]