Minor updates to core documentation