Minor stuff

Just came across two very minor things while looking at the code...