removed a stale function declaration found by Hungpu DU in #28.