This could actually be removed as well, but it doesn't do any harm ;)