Fixes small buglet in PUBLIC