Update extensions.php

Small changes...