I'm a bit confused. Shouldn't it rather say 1.0.4.Final-redhat-wfk-1, since the example targets WFK?