ex05: formatting & linux related minor fix (no logic changes)