bfsc:Examples: Fix wrong estrella files
bfsc: Typesetting: Typo

(noticed by Shane Brandes)