Explicit labels.

see #492