Fix docstrap system name

Signed-off-by: Ian Macalinao <me@ian.pw>