Minor fixes. Sleepy time.