Small formatting changes to Observer.php