Minor corrections to previous commit

Removed redundant label, added missing label, corrected incorrect
formatting