Two small fixes for devel