Small tweaks to Logger type