Fixed user prompt name bug

Equivalent to `hostname -s` on UNIX