bug fix that caused precompilation to fail