Minor fixes

Just trying out Github's new Atom editor, actually...