Update userfacing.jl