Not a big deal to fix though. Another commit forthcoming.