Small tweaks

#82