Minor tweaks

This should help to understand what happens :-)