Minor fixes

This extra line doesn't seem necessary :).