Bugfix type mismatch and push version