More just musing really, I also don't care enough to change it since this is already merged ;)