bugfixes in the puppet::master class