minor beautifications and link to user guide