Fix wrong return type in normal()