Fix an issue breaking "make ui".

(Related to #15)