Added extension definitions