Fixes for Jade display