Little bug fix in the external interface